HIGHLIGHT_OPTIONS = -L -f -l -V  --line-number-width=3 --replace-tabs=2 --babel --batch-recursive='../../src/*.adb' --batch-recursive='../../src/*.ads'  --outdir='./' -P -c highlight.sty

all: latex_sources

latex_sources:
	highlight $(HIGHLIGHT_OPTIONS) 
